step(ci,(ci,s),tm(s,[pri(naught,[]),pri(naught,[])],pri(lst,[pri(pc,[ctxm(alpha_1_ci_,dot,s,i_s,c_s),pri(enc,[ctxm(alpha_1_ci_,u,bsn,i_bsn,i_bsn),ctxm(alpha_1_ci_,dot,s_umc, (i,s_umc), (c,s_umc))]),ctxm(alpha_1_ci_,ci,dom, (dom,ci), (dom,ci))]),ctxm(alpha_1_ci_,ci,dom, (dom,ci), (dom,ci)),ctxm(alpha_1_ci_,umc,ip, (ip,umc1), (ip,umc1)),ctxm(alpha_1_ci_,umc,dom, (dom,umc1), (dom,umc1)),ctxm(alpha_1_ci_,u,d_1, (i,d_1), (c,d_1)),ctxm(alpha_1_ci_,u,d_2, (i,d_2), (c,d_2)),ctxm(alpha_1_ci_,u,d_3, (i,d_3), (c,d_3))]))).
